Software verification - PDFSEARCH.IO - Document Search Engine

Software verification
Results: 1531

#	Item
731	Automated verification of resource requirements in multi-agent systems using abstraction? Natasha Alechina, Brian Logan, Hoang Nga Nguyen, and Abdur Rakib University of Nottingham, UK nza,bsl,hnn,[removed] Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2010-09-15 07:35:36 Modal logic Software engineering Logic Non-classical logic Maude system
732	Introduction Verification platform Optimisation validation Discussion Optimisation validation Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-04-10 11:31:18 Formal methods Clinical research Quality Validation Knowledge Software development process Verification and validation Operational definition Pharmaceutical industry Validity Science
733	Measurement and Verification for Demand Response Add to Reading List Source URL: eetd.lbl.gov Language: English - Date: 2014-12-11 20:17:15 Electrical grid Systems engineering Measurement and Verification Software development process Reliability engineering Technology Energy conservation Science Demand response
734	MODEL CHECKING OF ROBOTIC CONTROL SYSTEMS S. Scherer(1) , F. Lerda(2) , and E. M. Clarke[removed]) Add to Reading List Source URL: www.ri.cmu.edu Language: English - Date: 2008-12-02 20:27:06 Robot software Engineering Applied mathematics Mobile robot Java Pathfinder Formal verification Robotics Software development process Automation Formal methods Model checking Science
735	TEST RANGES HMS Nyköping doing test runs outside Karlskrona. (Photo: Kockums AB) Test and Evaluation - Marine Products General Add to Reading List Source URL: www.fmv.se Language: English - Date: 2011-12-07 07:19:16 Watercraft Visby class corvette Vidsel Software testing HMS Visby Defence Materiel Administration Verification and validation Validation FMV Pharmaceutical industry Validity Systems engineering
736	(Provided to LEAs January[removed]CNS Update: REMINDER Verification Summary Report Due February 1st This is a reminder that the Verification Summary Report is due February 1, 2015. Instructions were sent to all local educ Add to Reading List Source URL: www.k12.wa.us Language: English - Date: 2015-01-22 10:19:56 Federal assistance in the United States Spreadsheet Email Temporary Assistance for Needy Families Computing Microsoft Excel Software
737	Foresters and Planwriters in All Counties County Monday, June 02, 2014 The following individuals have recieved a degree in natural resource management and some have attended stewardship planwriter training. Name: Add to Reading List Source URL: www.dcnr.state.pa.us Language: English - Date: 2014-09-29 11:04:58 Classical cipher Address Verification System Computer programming Computing Software engineering
738	11023_2007_9061_17_2-web[removed] Add to Reading List Source URL: www.d.umn.edu Language: English - Date: 2013-08-04 11:28:46 Thought Cognition Software engineering Data management Logic in computer science Formal verification Programming language Mathematics Concept Abstraction Programming paradigms Mind
739	ITL Bulletin: Release Of NIST Special Publication[removed], Guidelines For Derived Personal Identity Verification (PIV) Credentials (December 2014) Add to Reading List Source URL: csrc.nist.gov Language: English - Date: 2014-12-29 09:46:57 Smart cards Security token FIPS 201 Two-factor authentication Software token Electronic authentication Authentication Subscriber identity module Card reader Security Computer security Cryptography
740	Associate - Viewability Test Results Certificate Testing Period: September 2014 Setting the standard comScore vCE Validation Add to Reading List Source URL: www.abc.org.uk Language: English - Date: 2014-11-18 05:47:27 Internet marketing Viewable Impression Google Chrome ComScore Validation Firefox Safari Verification and validation Software Pharmaceutical industry Validity

UPDATE